$\forall$$g$:IMonoid, $m$, $n$:$\mathbb{N}$, $e$:$\mid$$g$$\mid$. ($n$ $\cdot$ ($m$ $\cdot$ $e$)) = (($n$ $\ast$ $m$) $\cdot$ $e$) $\in$ $\mid$$g$$\mid$